Team:LIFEWARE

Team Lifeware

Members

Overall Objectives

Research Program

Application Domains

New Software and Platforms

New Results

Highlight: Xavier Duportet laureate of the AEF docteurs-entrepreneurs prize
Highlight: François Fages laureate of the French Academy of Sciences
Highlight: Pauline Traynard Best Student Paper Prize at CMSB 2014, for Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock
Highlight: Modeling Dynamics of Cell-to-Cell Variability in TRAIL-induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance
Towards Real-time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach
A Platform for Rapid Prototyping of Synthetic Gene Networks in Mammalian Cells
Reconfigurable Circuitry in Biochemical Systems
Inferring Reaction Systems from Ordinary Differential Equations
Model Reductions by Tropical Equilibration
Model Reductions by Subgraph Epimorphisms
Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers
Logical Modeling of the Mammalian Cell Cycle
A Greedy Heuristic for Optimizing Metro Regenerative Energy Usage compared to CMA-ES and MILP

Bilateral Contracts and Grants with Industry

Bilateral Contract with General Electric Transportation

Partnerships and Cooperations

Dissemination

Bibliography

Publications of the year

Inria | Raweb 2014 | Presentation of the Team LIFEWARE | LIFEWARE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Software and Platforms

ClpZinc

Participants : François Fages, Thierry Martinez, Philippe Morignot, Sylvain Soliman.

CLP2Zinc is a rule-based modeling language for constraint programming. It extends the MiniZinc modeling language with Horn clauses which can be used to express search strategies as constraints in the model. This system is developed in the framework of the ANR Net-WMS-2 project and is a follow-up of the Rules2CP modeling language.

Previous |

Home | Next next